Opportunistically Parallel Lambda Calculus
dl.acm.orgΒ·21hΒ·
Discuss: Hacker News
🌱Minimal Languages
Flag this post
A hitchhiker's guide to CUDA programming
seanzhang.meΒ·1dΒ·
Discuss: Hacker News
πŸ”€SIMD Programming
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.skΒ·11hΒ·
πŸ“‘Erlang BEAM
Flag this post
Two Paths to Safety: How Go and Rust Made Opposite Bets
dev.toΒ·5hΒ·
Discuss: DEV
πŸ“¦Monorepos
Flag this post
The next RISC-V processor frontier: AI
edn.comΒ·9h
πŸ”§RISC-V
Flag this post
Top Five Trends In RTL Signoff
semiengineering.comΒ·1d
πŸ‘‘Dominator Analysis
Flag this post
Myths Programmers Believe about CPU Caches
software.rajivprab.comΒ·19hΒ·
Discuss: Hacker News
🧠Memory Models
Flag this post
Symbolic Alchemy: Transmuting Linear Solvers into Lightning Speed by Arvind Sundararajan
dev.toΒ·1dΒ·
Discuss: DEV
🧩Constraint Solvers
Flag this post
Andrew Shindyapin: AI’s Impact on Software Development
skmurphy.comΒ·17h
🎭Program Synthesis
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comΒ·20h
πŸ“šStack Allocation
Flag this post
About writing control systems in C
reddit.comΒ·1hΒ·
Discuss: r/embedded
πŸ”€Control Structures
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.comΒ·2dΒ·
Discuss: Hacker News
πŸ§ͺCompiler Testing
Flag this post
Building Up And Sanding Down
endler.devΒ·20h
πŸ”§API Design
Flag this post
Inference Acceleration from the Ground Up
semiwiki.comΒ·2d
πŸ—ΊοΈRegion Inference
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.comΒ·1dΒ·
Discuss: Hacker News
πŸ”—Borrowing Extensions
Flag this post
Fil-C: A memory-safe C implementation
lwn.netΒ·2dΒ·
Discuss: Hacker News
πŸ“šStack Data Structures
Flag this post
How fast can an LLM go?
fergusfinn.comΒ·1dΒ·
Discuss: Hacker News
πŸ—ΊοΈRegion Inference
Flag this post
Performance Issues in Web Services: A Practical Guide to Identification and Resolution
dev.toΒ·7hΒ·
Discuss: DEV
πŸ“ˆPerformance Tools
Flag this post
Discovering Heuristics with Large Language Models (LLMs) for Mixed-Integer Programs: Single-Machine Scheduling
arxiv.orgΒ·2d
πŸš€MLton
Flag this post
Rust Hobby OS projects worth exploring
oshub.orgΒ·9hΒ·
πŸš‚Cranelift Backend
Flag this post